teiginys

teiginys
teiginys statusas T sritis informatika apibrėžtis ↑Sakinys (2), įrašytas į programą jos veikimui toje vietoje patikrinti. Teiginio funkciją atlieka loginis ↑reiškinys, kurio reikšmė, esant teisingai programai, turi būti ↑tiesa. Vartojamas programos teisingumui patikrinti, ypač ją derinant. Paprastai vienas teiginys rašomas tikrinamų veiksmų pradžioje (↑priešsąlygis), kitas – tų veiksmų pabaigoje (↑posąlygis). atitikmenys: angl. assertion ryšiai: dar žiūrėkposąlygis dar žiūrėkpriešsąlygis dar žiūrėkreiškinys dar žiūrėksakinys dar žiūrėktiesa

Enciklopedinis kompiuterijos žodynas . . 2008.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • teiginys — teiginỹs dkt. Pagrindi̇̀niai teòriniai teiginiai̇̃ …   Bendrinės lietuvių kalbos žodyno antraštynas

  • teiginys — teiginỹs sm. (3b) DŽ, NdŽ, (3a) RŽ, NdŽ 1. kas teigiama, tvirtinama; loginis, mokslinis tvirtinimas: Pagrindinis teiginys SkŽ352. Mokslo teiginiai yra tvirti kaip pati tikrovė rš. 2. lingv. teigimą reiškiantis žodis: Kableliais skiriami… …   Dictionary of the Lithuanian Language

  • teiginys apie sveikumą — statusas Aprobuotas sritis visuomenės sveikata apibrėžtis Teiginys, kuriuo tiesiogiai ar netiesiogiai teigiama ar užsimenama, kad esama ryšio tarp maisto produkto kategorijos, maisto produkto ar vienos jo sudedamųjų dalių ir sveikatos. šaltinis… …   Lithuanian dictionary (lietuvių žodynas)

  • assertion — teiginys statusas T sritis informatika apibrėžtis ↑Sakinys (2), įrašytas į programą jos veikimui toje vietoje patikrinti. Teiginio funkciją atlieka loginis ↑reiškinys, kurio reikšmė, esant teisingai programai, turi būti ↑tiesa. Vartojamas… …   Enciklopedinis kompiuterijos žodynas

  • teorema — teoremà sf. (2) NdŽ, DŽ1 1. LL253 mat. teiginys, kurio teisingumu įsitikinama įrodymais: Tiesioginė ir atvirkštinė teorema Z.Žem. 2. LTEXI266 fil. dedukcinės teorijos teiginys, kurio teisingumas patvirtinamas įrodymu …   Dictionary of the Lithuanian Language

  • tezė — tèzė sf. (2) TrpŽ, TŽŽ 1. DŽ, NdŽ teiginys, kuris turi būti įrodytas. 2. trumpai suformuluotas pagrindinis pranešimo, paskaitos teiginys: Konferencijos pranešimų tezės numatomos išleisti atskiru leidiniu KlbXXXVIII(1)116 …   Dictionary of the Lithuanian Language

  • tezė — statusas T sritis švietimas apibrėžtis Teiginys, kurio teisingumą reikia įrodyti. kilmė gr. thesis – teiginys …   Enciklopedinis edukologijos žodynas

  • ciklo invariantas — statusas T sritis informatika apibrėžtis ↑Teiginys, kuris yra teisingas prieš atliekant ciklą, nesikeičia (t. y. lieka teisingas) pakartojus kiekvieną ciklo veiksmą ir taip pat lieka teisingas baigus vykdyti ciklą. Plačiau žr. priede. priedas(… …   Enciklopedinis kompiuterijos žodynas

  • loop invariant — ciklo invariantas statusas T sritis informatika apibrėžtis ↑Teiginys, kuris yra teisingas prieš atliekant ciklą, nesikeičia (t. y. lieka teisingas) pakartojus kiekvieną ciklo veiksmą ir taip pat lieka teisingas baigus vykdyti ciklą. Plačiau žr.… …   Enciklopedinis kompiuterijos žodynas

  • false — netiesa statusas T sritis informatika apibrėžtis ↑Teiginio, ↑loginio reiškinio arba ↑sąlygos reikšmė, kai teiginys neteisingas arba sąlyga netenkinama. Žymima įvairiai: netiesa, false, FALSE, F, 0. Jeigu programavimo kalbos žymenys (↑baziniai… …   Enciklopedinis kompiuterijos žodynas

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”